TAGs: write compound inequalities